OpenAI 撤回 3 篇 AI 生成数学论文，源于一处正负号错误

OpenAI 于 10 月 6 日在 GitHub 公开一批由内部未发布模型生成的数学手稿，次日撤回其中 3 篇。项目更新记录显示，其中一篇论文因正负号错误导致关键论证失效，另外两篇因依赖同一构造一并撤回。OpenAI 同日还修订 14 篇手稿、更新 13 篇引用版本，并新增 6 个 Lean 形式化证明。目前 719 篇手稿中已有 300 篇主要结果完成形式化，约占 42%。这批发布也引发数学界批评。